여… 열공
공부를 하고자 하면 뭐든 할 수 있는 세상입니다. 배우고자 하는 뭐든 맘만 먹는다면 할 수 있도록 정보가 널린 세상인데요, 거기에 깃헙도 한 몫 하고 있다고 생각합니다. 오늘은 제목 그대로 Programming Language 이론을 공부하기 위한 프로젝트 입니다.
2016/05/01 Best Project(720★)
steshaw/plt
_plt - A path to Programming Language Theory enlightenment_github.com
시작은 수학부터
으억… Mathmaticl Literacy부터 시작합니다. 수학적으로 읽고 생각하는 능력이라고나 할까요? 그리고 무려 How to prove it… 입니다.
이후로도 Algebra(대수학) 관련해서는 기초와 어느 정도의 수준을 갖추고 시작해야 한다는 입장입니다.
타입이론
타입에 대한 이론을 다루고 있는데 비디오, 논문, pdf들을 다양하게 묶어 놓았습니다.
디자인 이론, 컴파일러, 런타임, 함수형 프로그래밍 등을 죽 다루고 있습니다.
내용도 방대하고 어렵지만, Programming Language 에 대해서 깊이 이해하려면 꽤나 많은 노력을 들여야 한다는 사실을 확인할 수 있네요.
By Keen Dev on May 1, 2016.
Exported from Medium on May 31, 2017.